Section: Dissemination

Promoting Scientific Activities

Scientific events organisation

Member of the organizing committees

Jean-Pierre Talpin is a member of the steering committee of the ACM-IEEE Conference on Methods and Models for System Design (MEMOCODE).

Scientific events selection

Chair of conference program committees

Jean-Pierre Talpin co-chaired the AVICPS'15 workshop at RTSS'15

Member of the conference program committees

Jean-Pierre Talpin served the program committee of:

• MEMOCODE'15, 13th ACM-IEEE International Conference on Formal Methods and Models for System Design

• ACVI'15, 2nd Workshop Architecture Centric Virtual Integration

• AVICPS'15, 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop

• FACS'15, 12th International Conference on Formal Aspects of Component Software

• FTSCS'15, 8th International Workshop on Formal Techniques for Safety-Critical Systems

• ICESS'15, 12th International Conference on Embedded Software and Systems

• SCOPES'15, 18th International Workshop on Software and Compilers for Embedded Systems

• SAC'15, 30th ACM/SIGAPP Symposium on Applied Computing

Thierry Gautier served as program committee member for the 2015 Electronic System Level Synthesis Conference, ESLsyn 2015 (http://ecsi.org//eslsyn ).

reviewer

Thierry Gautier reviewed for ICCAD 2015 and MEMOCODE 2015.

Journal

Member of the editorial boards

Jean-Pierre Talpin is Associate Editor with the ACM Transactions for Embedded Computing Systems (TECS), with the Springer journal on Frontiers of Computer Science (FCS), and with the EURASIP journal of embedded systems (JES).

Jean-Pierre Talpin was Guest Editor of two special issues of the ACM TECS on Architecture-Centric Virtual Integration and on Formal Methods for System Design.

reviewer

Jean-Pierre Talpin reviewed articles for Acta Informatica.

Thierry Gautier reviewed for Frontiers of Computer Science.

Invited talks

Jean-Pierre Talpin gave a lecture on "Sémantique formelle de modèles d'architecture" at the Ecole temps-réel 2015 in Rennes

Scientific expertise

Jean-Pierre Talpin is co-author with Huafeng Yu and Sandeep Shukla of two patents filed with the USPTO:

• T1834.10134US01 – A timing-oriented and architecture-centric system design using contracts

• T1834.10131US01 – Bottom-up approach for integrating models for software components using contracts